weak duality theorem